Klaus Havelund: د Z-Library په سایټ کښې پلټل

اعانه 15 سپتمبر 2024 – 1 اکتبر2024 د پیسو د راټولولو په اړه

پوهې او کلتور ته وړیا لاسرسی.

اعانه 15 سپتمبر 2024 – 1 اکتبر2024

Z-Library په نړی کې انلاین لوی ترین کتابتون، چې پکی زیاتره 17,000,000 کتابونه او 84,837,000 مقالی ساتل کیږی، مونږ کوښښ کوو چې ادبیاتو ته هر سړی لاسرسی ولری نن (15 سپتمبر 2024) د پروژی د ملاتړ او پرمختیا لپاره مونږ د اضافی اعانی ټولونی صندوق خلاصوو.

همداسی بدون د نورم (لیمیت) کاپی کول ( ۳۱ ورځو لپاره د اعانی ورکولو د ورځی څخه) د ټولو استفاده کوونکو لپاره مجاز دی،د موادو ټولولو په جریان کې اعانه ورکوی تر 1 اکتبر2024.

د پیسو د راټولولو په اړهتفصیلات

د فیلترونو نه استفاده وشوه

دقیق مطابقت والی

دقیق مطابقت والی

کتابونه (22)
مشهورترین
لیسټ
- لیسټ
- جدول

1

Formal Methods

Formal Methods

Springer International Publishing

Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

کال:

2018

ژبه:

english

فایل:

PDF, 25.57 MB

0 / 0

english, 2018

2

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Klaus Havelund (eds.)

کال:

2014

ژبه:

english

فایل:

PDF, 11.22 MB

0 / 0

english, 2014

3

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

کال:

2006

ژبه:

english

فایل:

PDF, 4.58 MB

0 / 0

english, 2006

4

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 7.89 MB

0 / 0

english, 2011

5

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 11.26 MB

0 / 0

english, 2008

6

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 10.22 MB

0 / 0

english, 2012

7

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

کال:

2006

ژبه:

english

فایل:

PDF, 3.07 MB

0 / 0

english, 2006

8

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 6.93 MB

0 / 0

english, 2010

9

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 2.74 MB

0 / 0

english, 2009

10

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 2.38 MB

0 / 0

english, 2009

11

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)

کال:

2008

ژبه:

english

فایل:

PDF, 7.54 MB

0 / 0

english, 2008

12

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

کال:

2022

ژبه:

english

فایل:

PDF, 28.84 MB

0 / 0

english, 2022

13

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

Springer International Publishing

Klaus Havelund, Gerard Holzmann, Rajeev Joshi (eds.)

کال:

2015

ژبه:

english

فایل:

PDF, 11.76 MB

0 / 0

english, 2015

14

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

SPIN Model Checking and Software Verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000. Proceedings

Springer-Verlag Berlin Heidelberg

Dragan Bošnački, Dennis Dams, Leszek Holenderski (auth.), Klaus Havelund, John Penix, Willem Visser (eds.)

کال:

2000

ژبه:

english

فایل:

PDF, 2.81 MB

0 / 0

english, 2000

15

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 6.81 MB

0 / 0

english, 2011

16

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)

کال:

2011

ژبه:

english

فایل:

PDF, 7.11 MB

0 / 0

english, 2011

17

Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Havelund (auth.), Brian Nielsen, Carsten Weise (eds.)

کال:

2012

ژبه:

english

فایل:

PDF, 10.74 MB

0 / 0

english, 2012

18

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

Jyotirmoy V. Deshmukh (editor), Klaus Havelund (editor), Ivan Perez (editor)

کال:

2022

ژبه:

english

فایل:

PDF, 62.43 MB

0 / 5.0

english, 2022

19

Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)

کال:

1995

ژبه:

english

فایل:

PDF, 11.61 MB

0 / 0

english, 1995

20

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 6.78 MB

0 / 0

english, 2010

21

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

کال:

2010

ژبه:

english

فایل:

PDF, 6.98 MB

0 / 0

english, 2010

22

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Springer-Verlag Berlin Heidelberg

Howard Barringer, Klaus Havelund, David Rydeheard, Alex Groce (auth.), Saddek Bensalem, Doron A. Peled (eds.)

کال:

2009

ژبه:

english

فایل:

PDF, 2.42 MB

0 / 0

english, 2009